Fundraising September 15, 2024 – October 1, 2024 About fundraising
3

Partially commutative inverse monoids

Year:
2008
Language:
english
File:
PDF, 679 KB
english, 2008
5

SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE

Year:
2006
Language:
english
File:
PDF, 357 KB
english, 2006
11

QuickHeapsort: Modifications and Improved Analysis

Year:
2016
Language:
english
File:
PDF, 748 KB
english, 2016
19

LTL Is Expressively Complete for Mazurkiewicz Traces

Year:
2002
Language:
english
File:
PDF, 205 KB
english, 2002
21

Commutative monoids have complete presentations by free (non-commutative) monoids

Year:
1986
Language:
english
File:
PDF, 485 KB
english, 1986
22

Complete semi-Thue systems for abelian groups

Year:
1986
Language:
english
File:
PDF, 636 KB
english, 1986
23

On the Knuth-Bendix completion for concurrent processes

Year:
1989
Language:
english
File:
PDF, 1.28 MB
english, 1989
24

Word problems over traces which are solvable in linear time

Year:
1990
Language:
english
File:
PDF, 2.07 MB
english, 1990
25

On the concatenation of infinite traces

Year:
1993
Language:
english
File:
PDF, 1.37 MB
english, 1993
26

Möbius functions and confluent semi-commutations

Year:
1993
Language:
english
File:
PDF, 1.17 MB
english, 1993
27

Regular frequency computations

Year:
2005
Language:
english
File:
PDF, 185 KB
english, 2005
28

From local to global temporal logics over Mazurkiewicz traces

Year:
2006
Language:
english
File:
PDF, 225 KB
english, 2006
29

Some remarks about stabilizers

Year:
2009
Language:
english
File:
PDF, 851 KB
english, 2009
31

A structural property of regular frequency computations

Year:
2003
Language:
english
File:
PDF, 124 KB
english, 2003
32

Solving word equations modulo partial commutations

Year:
1999
Language:
english
File:
PDF, 1.33 MB
english, 1999
33

Investigations on Hotz groups for arbitrary grammars

Year:
1986
Language:
english
File:
PDF, 908 KB
english, 1986
34

Deterministic asynchronous automata for infinite traces

Year:
1994
Language:
english
File:
PDF, 1.07 MB
english, 1994
35

On the synchronization of traces

Year:
1989
Language:
english
File:
PDF, 714 KB
english, 1989
36

Existential and Positive Theories of Equations in Graph Products

Year:
2004
Language:
english
File:
PDF, 393 KB
english, 2004
37

Foreword

Year:
2006
Language:
english
File:
PDF, 86 KB
english, 2006
38

Foreword

Year:
2007
Language:
english
File:
PDF, 86 KB
english, 2007
39

Foreword

Year:
2008
Language:
english
File:
PDF, 105 KB
english, 2008
40

Preface

Year:
2010
Language:
english
File:
PDF, 90 KB
english, 2010
41

Preface

Year:
2010
Language:
english
File:
PDF, 90 KB
english, 2010
42

Fragments of First-Order Logic over Infinite Words

Year:
2011
Language:
english
File:
PDF, 759 KB
english, 2011
43

Approximating traces

Year:
1998
Language:
english
File:
PDF, 280 KB
english, 1998
44

On some variants of the Ehrenfeucht conjecture

Year:
1986
Language:
english
File:
PDF, 344 KB
english, 1986
46

Demu

Year:
1983
Language:
german
File:
PDF, 526 KB
german, 1983
48

Local temporal logic is expressively complete for cograph dependence alphabets

Year:
2004
Language:
english
File:
PDF, 306 KB
english, 2004
49

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Year:
2006
Language:
english
File:
PDF, 358 KB
english, 2006